#igor oliveira

[callanthas]

Igor Denali

[phoenixlegendary]

Igor Oliveira

[enemanoise]

bar da toinha 22.04.2012 filmagem by igor kawka

FOTOS 2009-2024

[simulacrumaussois]

[callanthas]

Igor Oliveira

[pv1isalsoimportant]

(Semi-regularly updated) list of resources for (not only) young mathematicians interested in logic and all things related:

Igor Oliveira's survey article on the main results from complexity theory and bounded arithmetic is a good starting point if you're interested in these topics

Eitetsu Ken's list for resources on proof complexity, computational complexity, logic, graph theory, finite model theory, combinatorial game theory and type theory

The Complexity Zoo for information on complexity classes

The Proof Complexity Zoo for information on proof systems and relationships between them

Computational Complexity blog for opinions and interesting blog posts about computational complexity and bunch of other stuff

Student logic seminar's home page for worksheets on proof complexity and bounded arithmetic (great introduction for beginners)

Jan Krajíček's personal page is full of old teaching materials and resources for students (click past teaching). I also recommend checking out his books. They are basically the equivalent of a bible for this stuff, although they are a bit difficult to read.

Amir Akbar Tabatabai's page for materials on topos theory and categories including lecture notes and recording of lectures

Lean Game Server for learning the proof assistant Lean by playing fun games

[sparkles-oflight]

Okay, seeing people explain their name choices for each of the names is fun AND frustrating. Like, people, I chose my names based on "lmao, Bojan and Bóris both start with the same letters"

So, this is take two on this "trend" (I'm using another picture cuz I can't find the og right now).

Bojan means warrior, according to Google. So I was like: "Let me find a name that also means warrior in Portuguese" and my first suggestions were literally Martim and Igor. And I was like "we can't have those, fuck". Did some digging. Turns out Bóris also means Fighter! But it's not very "Portuguese", yk? So I also have the name "Márcio" for Bojan because it means "Warrior" or "the one dedicated to Mars(god)"

Kris is just Cris lmao. Cris is usually used for girls, but fuck it. I guess he should be happy of sharing the same name with CR7 since he's a football fan (though I don't like CR7 that much)

Jan truly is just "Jonh", so... João it is. (I'm sorry babe, be glad you are not a João Pedro. You truly don't want to be a Jean Pierre)

I KNOW I SAID SHIT ABOUT IGNÁCIO AND NOW I'M USING INÁCIO! LISTEN I HATE IT AS MUCH AS THE NEXT PERSON! That's why we have two name options for Nace! Inácio (which was the name of two of my old teachers lmao) because it means the same as Nace (fiery) and it's more Portuguese than Nuriel lol. Nuriel has more of a Brazilian flavour to it, but I wrote it down because it means "Light of God/fire of God" and I think that's cool (also, because then me and Nace would have similar name meanings hehe)

Jure is also just a George...so I wrote Jorge. But I wanted to give him a cool name as well! So Oliver! Oliver comes from Oliveira which is a last name but also means "olive tree" lmao. Why? Because Jure means farmer. But I really like the name Oliver, man. It's literally Tsubasa's first name in the og animes of Captain Tsubasa in Portugal. Oliver just sounds cool.

[sinrupe]

THAI KIDS RESULTADO LOCAL: Arena Fight Complexo de Lutas END.: Av. Martins Fontes 1567 (entrada de Santos-SP) 13/NOV/2022 GPs LUTA RESERVA GP 52 KGS - Du Shark (MTT) venceu Marcelo Sorridente (FTT Cobrinha) por decisão. LUTA RESERVA GP 57 KGS - Lucas Frizetti (Team Macedo) venceu Caio Krânio (Michael Siqueira) por decisão. SEMIFINAL GP 50 KGS FEMININO - Iasmin Jesus (Garra Combat) venceu Vevê Encrenca (FTT Cobrinha) por TKO no 2R; - Lana Sena (Puro Impacto) venceu Gaby Formiguinha (Vovô Team) por desistência no 3R SEMIFINAL GP 52 KGS MASCULINO - Arthur Askov (CT Rose Amorim) venceu Cristian Mendes (Gladiadores TF) por decisão; - Abner Santana (CTC) venceu Riquelme Azeitona (Aldeia MT) por decisão SEMIFINAL GP 57 KGS MASCULINO - Matheus Pinókio (Altamiro FT) venceu Rodrigo Zecão (Imperial Fight) por KO no 1R; Igor Fontes (Castellano) venceu Lucas Cremosinho (Brutus MT) por decisão. FINAL GP 50 KGS FEMININO - Iasmin Jesus (Garra Combat) venceu Lana Sena (Puro Impacto) por TKO no 3R FINAL GP 52 KGS MASCULINO - Abner Santana (CTC) venceu Arthur Askov (CT Rose Amorim) por decisão FINAL GP 57 KGS MASCULINO - Matheus Pinókio (Altamiro FT) venceu Igor Fontes (Castellano) por TKO no 2R.

CARD PRELIMINAR - Pulguinha (Baixada FT) venceu Luiz Felipe (Chacal Thai) por decisão; - Jeferson Machado (CT Luk Muay) venceu David Folha (Team Folha) por TKO no 3R; - Bia Angel (Gardenal FT) venceu Mirela Japa (Altamiro FT) por TKO no 1R; - Formiguinha (Clan do Morador) venceu Lara (CT Rose Amorim) por decisão; - Nandinho (CT Taysão) venceu Fabinho Oliveira (Team Folha) por TKO no 1R; - Maurinho Maximus (Máximus Fighters) venceu Kauã Vinícius (Garra Combat) por TKO no 1R; - Luiz Antônio (Vierrá FT) venceu Winicius Lucena (CTI) por KO no 2R; - Matheus Pitbull (Pitbull Team) venceu Ryan Assis (Império Team) por decisão; - Breno César (CTC Garage) venceu Lucas Oliveira (TFT) por decisão; - Vítor Cabelinho (Altamiro FT) venceu Kauê Maximus (Maximus Fighters) por decisão; - Victor Clarck (Uemura MT) venceu Leonardo Mendes (CTI) por decisão; - Souza (CT Taysão) venceu Pablo Corumba (CT Rose Amorim) por decisão; - Daniel Rango (Aldeia MT) venceu Marcelo Sayajin (Altamiro FT) por decisão; - Victor Lopes (Time Falcão) venceu Lucas Costa (CT Carlos Vieira) por TKO no 2R; - Matheus Tibério (Team Souza) venceu Gleison Delícia (CT Rose Amorim) por TKO no 2R; - Pedro Vilar (Altamiro FT) por decisão; - Rhyan Abmael (CT Luk Muay) venceu Lucas Fischer (Brutus MT) por decisão; - Daniel Hulk (Uemura MT) venceu André Malvadão (Clan do Morador) por decisão; - Vitor Anjos (CT Carlos Vieira) venceu Rodrigues Abravanel (CT Taysão) por decisão;

[quemdividemultiplicarz]

Por que o voto precisa ser obrigatório no Brasil

A nossa política aqui no Brasil não está boa desde que teve a crise econômica em 2014 com a primeira presidenta, Dilma Rousseff. Mas não a culpa não é só dela por ter esse decaimento do nosso país e existiram outros motivos para a nossa política estar assim.

Tudo começou desde o regime militar chamado de ditadura militar, iniciado pelo presidente Humberto de Alencar Castelo Branco no dia 1 de Abril de 1964 e foi encerrado no dia 15 de março de 1985 pelo presidente João Baptista de Oliveira Figueiredo.

Em 2014, tivemos uma das piores crises econômicas do país que foi na presidência de Dilma Rousseff que o PIB (Produto Interno Bruto) em 2014 foi de R$ 5,5 trilhões, com o crescimento de apenas 0,1% e por conta dessa péssima passagem à presidência de Dilma, muitos dos brasileiros começaram a desistir de votar.

Atualmente, pouquíssimos dos brasileiros pesquisam ou buscam informações sobre o político que está se candidatando, isso acontece por conta de falta de interesse dos brasileiros e falta de informação e muitos preferem pagar multa que é abaixo de 5 reais. Mas a obrigação do cidadão é votar. Votar é um processo de decisão no qual os cidadãos expressam a sua opinião sobre tal candidato. e não tiver pessoas votando, o país irá parar de ser uma república e voltar a ser uma monarquia, e ser uma hierarquia, passando de pessoa para pessoa do grupo de uma família.

Votar é um direito que toda a pessoa tem que ter, teremos que buscar mais informações para quando votarmos estaremos com certeza para quem votar, mas hoje o candidatos são muito favorecidos pela sociedade também e por isso que se não formos buscar informações o nosso país só irá decair e aumentar a crise política do país.

Por Igor Benedito.

[callanthas]

Igor Oliveira

[schoje]

Estudantes e professores da rede municipal de educação de Florianópolis foram premiados por seus trabalhos de destaque no Floripa Mais Tec nesta quinta-feira (14). O projeto é uma iniciativa da Prefeitura da Capital, em parceria com SENAI/SC, SEBRAE e ACATE, que visa democratizar o acesso ao ensino tecnológico para todos, oferecendo cursos de tecnologia gratuitos. Dez educadores ganharam Smartwatches e 32 adolescentes dos anos finais receberam drones. Ainda foram selecionados os melhores estudantes para o Curso LABtec que ocorrerá em 2024. O ano de 2023 marcou a segunda edição do Floripa Mais Tec. O projeto iniciou com o Aulão do Futuro, que ocorreu em sete unidades educativas polo. Houve oficinas de robótica, jogos interativos e palestras. Na sequência, em cada escola foi desenvolvido com os adolescentes o aplicativo “Hellow”, até novembro. Os que alcançaram as melhores posições no ranking do app avançaram para as etapas seguintes de formação. CONFIRA OS PREMIADOS DO FLORIPA MAIS TEC Professores premiados EBM Herondina Medeiros Zeferino Amélia Tomal Karen Cristini Corrêa EBM Dilma Lúcia dos Santos Maria de Fátima Pereira de Andrade Lilian Claudete Oda Ferreira EBM Maria Tomázia Coelho Eliza Piazza EBM Osvaldo Machado - Escola do Futuro Claudia Schiara Heloisa Fernanda Silva de Moura EBM José do Valle Pereira Evoneth Patrício Matias Graziela Guerra Giuriolo EBM Maria Conceição Nunes Tânia Maria Sanches Minsky Estudantes premiados EBM Herondina Medeiros Zeferino Kauã Caetano Vieira - 8º ano Vitor Elpidio Dos Santos Menezes - 9º ano EBM Dilma Lúcia dos Santos João Vitor Cherobin Kominkiewicz - 8º ano Adrian Vitorello - 9º ano EBM Maria Tomázia Coelho Lucas Kaminski - 8º ano Gabriela Iolanda Jorge - 9º ano EBM Osvaldo Machado - Escola do Futuro Higor Dos Santos De Carvalho Torres - 8º ano Enzo Miguel Machado - 9º ano EBM José do Valle Pereira Nathalia Correa Dos Passos - 8º ano Vinicius Akira Tanabe Conterno - 9º ano EBM Maria Conceição Nunes Pedro Henrique Portella Machado - 8º ano Wilson Fraga Neto - 9º ano EBM Acácio Garibaldi São Thiago Pedro henrique Machado Pereira - 8º ano Gustavo da Cunha Oliveira - 9º ano EBM Almirante Carvalhal Luiz Carlos Turneleiro Dias - 8º ano Ana Júlia Pereira - 9º ano EBM Darcy Ribeiro Igor Isac Cunha - 8º ano Amanda Jacob Assef Ayoub - 9º ano EBM João Alfredo Rohr Beatriz Martins Borges - 8º ano Enzo França - 9º ano EBM José Amaro Cordeiro Luiz Henrique - 8º ano Kauan de Oliveira Sousa - 9º ano EBM Luiz Cândido da Luz Edwen Alexsandra LIma de Vilhena - 8º ano Júlia Starke Pereira - 9º ano EBM Mâncio Costa - Escola do Futuro Luan Franco de Lima Militão - 8º ano Juliana Pranger - 9º ano EBM Prof. Zulma Freitas de Souza Stephany da Silva - 8º ano Isabella Aranha Estevão - 9º ano EBM Tapera - Escola do Futuro Diogo Ramos Lacerda - 8º ano Ana Carolina Mayer Dessbesell EBM Virgílio dos Reis Várzea Ulisses Heitor da Luz - 8º ano Vinicius Marron França - 9º ano galeria de imagens Fonte: Prefeitura de Florianópolis - SC

[olehswift]

First Taylor Swift Horodnitskii Black White, you belong to me completely and only to me, and those words are not joke and have straightforward meaning, and you must take them more seriously than anything else.

1) QES

2) Elon Musk

3) Vladimir Putin

4) Jensen Stoltenberg

5) Prince Edward, Duke of Kent

March 1

6) Alexander Bortnikov

7) Emmanuel Macron

8) Xi Jinping

9) Alex Soros

10) George Soros

11) Avril Haines

April 20

First coffin phone

12) Billie Eilish

13) Nathaniel Philip Rothschild, 5th Baron Rothschild

14) Jurgen Stock

15) Larry Fink

16) Narendra Modi

17) Sergey Shoigu

18) Nikolai Patrushev

19) Nikolay Bogdanovsky

20) Andrei Yermak

21) Mohammed Bin Salman

(+8 or 10)

May 16

Second coffin phone

22) Alina Kabaeva

23) Ursula Gertrud von der Leyen

24) Vitalik Buterin

25) Ebrahim Raisi

26) Hossein Amir-Abdollahian

27) Malek Rahmati

28) Mohammad Ali Ale-Hashem

29) Mehdi Mousavi

30) Second Vladimir Putin

31) Viktoria Godunova

32) Dmitry Medvedev

33) Georgia Meloni

34) David S. Cohen

35) Priscilla Chan

36) Paul Abbate

37) Jon Lenzner

38) Jake Sullivan

39) Ronald L. Rowe Jr

40) Larissa L. Knapp

41) Christopher Asher Wray

42) Olena Zelenska

43) Kimberly A. Cheattle

44) Second Elon Musk

45) George Pavlov

46) Third Vladimir Putin

47) Sergey Brin

48) Mariya Putina

49) Pope Francis

50) Jack Dorsey

51) Mark Zuckerberg

52) William J. Burns

53) Mark Rutte

54) Katerina Tikhonova

55) Second Taylor Swift Horodnitskii Black White.

56) Antonio Manuel de Oliveira Guterres

57) Second Ariana Grande

58) Joe Alwyn

59) General Timothy Haugh

60) Donald Trump

61) King Charles III

62) William, Prince of Wales

63) Anatoly Chubais

64) Fourth Vladimir Putin

65) Robyn Denholm

66) Lawrence Edward Page

67) Igor Olegovich Kostyukov

68) Kyrylo Budanov

69) Katy Perry

70) Second Prince Edward, Duke of Kent

71) Jeff Bezos

72) Sergey Naryshkin

73) Volodymyr Zelenskyy

74) Cara Delevingne

75) Kamala Harris

76) Sergey Sobyanin

77) Second King Charles III

78) Li Qiang

79) Joe Biden

80) Second Christopher Asher Wray

81) Christopher G. Cavoli

82) Jenna Marie Ortega

83) Fifth Vladimir Putin

84) Second Nathaniel Philip Rothschild, 5th Baron Rothschild

85) Lily Cole

86) Second Joe Alwyn

87) Third Chris Wray

[movienized-com]

Chico Bento e a Goiabeira Maraviósa

Chico Bento e a Goiabeira Maraviósa (2025) #IsaacAmendoim #AugustoMadeira #GuilhermeTavares #LuisLobianco #IgorPushinov Mehr auf:

Jahr: 2025 (Januar) Genre: Familienfilm Regie: Fernando Fraiha Hauptrollen: Isaac Amendoim, Augusto Madeira, Guilherme Tavares, Luis Lobianco, Igor Pushinov, Pedro Dantas, Enzo Henrique, Davi Okabe, Lorena de Oliveira, Anna Julia Dias … Filmbeschreibung: Chico Bento führt ein ruhiges Leben in Vila Abobrinha, umgeben von seinen Freunden und Guaven, bis der Bau einer Straße auf dem Land von…

[profleonardobastos]

Mais sobre RÁDIO QUITANDA‼️ RÁDIO QUITANDA é um espetáculo musical que compõe as atividades de homenagem aos 80 do Quitandinha. FICHA TÉCNICA: Texto - Márcia Santos (@msantos_mil); Direção - Édio Nunes (@edio.r.nunes); Assistente de Direção - Simone Gonçalves (@simonegoncalves145); Figurinos - Kildáry Campos (@kyldarycampos); Supervisão de Figurinos - Wanderley Gomes (@wanderleygomes2021); Cenografia e Adereços - Pryscila Dias; Iluminação e Operador de Luz - Tiago de Jesus (@tiaguinho_luz); Produção Executiva e Local - S Gonçalves de Oliveira Produções; Coordenação de Produção - Panenka Realizações, Márcia Santos e Édio Nunes; Técnico e Operador de Som - Luiz S. Junior (@luizsjunior); Contrarregra - Nathan Cardoso (@nathancardoso.ator.circense) e Matheus Teles (@matheusnteles); Elenco - Ariel Barbosa (@arielbarbosareal), Carol Guerra (@oridasaguas), Felipe Laureano (@flplaureano), Igor Oggy (@igor.oggy), Leonardo Bastos (@profleonardobastos), Letícia França (@leticiafrancabllt), Mabi (@artistamabi), Regina Elena (@reginaelenaatriz) e Renan Miranda (@fala.renan); Músicos - Bruno Guimarães (@bruno_guimaraes_cezar), João Pedro Gomes (@jpeedrogomess) e Paulo Peçanha (@paulinho_peçanha); Fotografia - Clara Miloski (@claramiloski) e Dany Prendim (@danyprendim); Filmagem - Dany Prendim e Thomas Mendel (@thomas.mendel). 🎭🩰🎼🎵🎶🎤🎸🪕🎷🥁🪘✨🌟🎬👏🏻👏🏻👏🏻👌🏻✌🏻👍🏻👊🏻😉🤩

[magicalfacetiger]

Igor Dinali ou Oliveira!

Purple power on the beach 🏖️